نتایج جستجو برای: category of pointed sets

تعداد نتایج: 21176808  

Journal: :journal of mahani mathematical research center 0
s.n. hosseini shahid bahonar university of kerman a. ilaghi-hosseini shahid bahonar university of kerman

in this article, we have shown, for the add-point monad t, thepartial morphism category set*is isomorphic to the kleisli category sett. alsowe have proved that the category, sett, of t-algebras is isomorphic to thecategory set of pointed sets. finally we have established commutative squaresinvolving these categories.

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه زنجان - دانشکده علوم انسانی 1390

the main purpose of this study was to investigate any relationship between high school efl teachers metaphorical understandings of their role in class and their self-efficacy beliefs. teachers metaphors were elicited through two different prompts: one picturing what they believed a language teacher should be like in class, and the other demonstrating what they are actually like in class; such...

A. ILAGHI-HOSSEINI S.N. HOSSEINI,

In this article, we have shown, for the add-point monad T, thepartial morphism category Set*is isomorphic to the Kleisli category SetT. Alsowe have proved that the category, SetT, of T-algebras is isomorphic to thecategory Set of pointed sets. Finally we have established commutative squaresinvolving these categories.

Journal: :iranian journal of fuzzy systems 2014
w. yao b. zhao

the aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. all values aretaken in a fixed frame $l$. a definition of (strongly) completelydistributive $l$-ordered sets is introduced. the main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $l$-ordereds...

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه زنجان - دانشکده علوم انسانی 1389

abstract this study evaluated and compared medical terminology and english for the students of medicine (ii) as two representatives of the textbooks available on the iranian market for teaching english to the students of medicine. this research was performed on the basis of a teacher’s and a number of students’ attitudes and the students’ needs analysis for two reasons: first, to investigate...

2008
Kosta Došen Zoran Petrić

A relevant category is a symmetric monoidal closed category with a diagonal natural transformation that satisfies some coherence conditions. Every cartesian closed category is a relevant category in this sense. The denomination relevant comes from the connection with relevant logic. It is shown that the category of sets with partial functions, which is isomorphic to the category of pointed sets...

Journal: :iranian journal of fuzzy systems 2014
s. demiralp e. guner

in this paper, some fundamental concepts are given relating to fuzzytopological spaces. then it is shown that there is a contravariant functorfrom the category of the pointed fuzzy topological spaces to the category ofgroups and homomorphisms. also the fuzzy topological spaces which are hopfspaces are investigated and it is shown that a pointed fuzzy toplogicalspace having the same homotopy typ...

In this paper, some fundamental concepts are given relating to fuzzytopological spaces. Then it is shown that there is a contravariant functorfrom the category of the pointed fuzzy topological spaces to the category ofgroups and homomorphisms. Also the fuzzy topological spaces which are Hopfspaces are investigated and it is shown that a pointed fuzzy toplogicalspace having the same homotopy typ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید